// SPDX-License-Identifier: GPL-2.0-only
/*
 * Extensible Firmware Interface
 *
 * Based on Extensible Firmware Interface Specification version 2.4
 *
 * Copyright (C) 2013, 2014 Linaro Ltd.
 */

#include <linux/efi.h>
#include <linux/init.h>
#include <asm/efi.h>

/* we will fill this structure from the stub, so don't put it in .bss */
struct screen_info screen_info __section(".data.efistub");
